3-D Tic-Tac-Toe milp HiGHS GAMS short